Hi Torquil, Thanks for your bug report. I'm both Debian maintainer and upstream for this package and we plan to do a new release soon, which should fix this issue.
Best regards, Johannes -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org