Oops, I didn't realize Jeroen had already logged a Debian bug: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=689584
Oops, I didn't realize Jeroen had already logged a Debian bug: http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 689584