Fixes to debian packaging files.