New submission from Martin Geisler <mg at daimi.au.dk>: This bug was reported to the Debian BTS along with a patch. The discussion starts to be interesting here: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=513183#67