BTW, the debian bug to address the solution proposed in the bug above (with a patch provided) is http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=615600.
BTW, the debian bug to address the solution proposed in the bug above (with a patch provided) is http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 615600.