Hi Martin, I can't reproduce the bug you described in
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=416252 It works fine on my amd64 machine. Are you still experiencing that problem? Cheers, Francois -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]