Various fixes for Debian packaging