By the way: have you filled a bug report to Debian?
No, but this is a bug touching very few users, in Debian stable which is
reaching its end of life. I do not think the Debian folks would be
interested in fixing this non-security, non-critical bug now.
--
Matthieu Moy
http://www-verimag.imag.fr/~moy/