This looks to be a duplicate of #709025. Sorry, this was the first relevant bug that appeared on reportbug's list of bugs, and I did not read further in the list.
-- Antti-Juhani Kaijanaho -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
