Tweaks to debian packaging