Fixes to Debian packaging.