Debian master

please pull this into your debian-master branch and then. after that, git-am that patch from debian/patches/ into your master branch, take my 0.12-2 debian/changelog entry and let this be the beginning of 0.13... :)