some minor tweaks to debian packaging #869