Dear Kristofer, Sorry for letting you without answer for two months.
I think that the current plan is to focus on packaging the next upstream release, that will solve that problem. But if it would help you that I apply the Ubuntu patch to the current Debian package, just let me know. Have a nice day, -- Charles Plessy Tsurumi, Kanagawa, Japan -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org