Stéphane Glondu <glondu@debian.org> writes: Do you want to investigate this before I upload? Yes, I have a look. Hendrik