Minor fixes to Debian packaging