Debian master

as uploaded as 0.0.7-1.3 :-)