Fixing Debian packaging issues