More Debian packaging fixes.