Debian packaging fixes