More Debian packaging fixes