minor fixes to debian packaging