Hi, it should help fixing <http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=427359>. Thanks, Torsten -- blog: http://twerner.blogspot.com/ homepage: http://www.twerner42.de/