Debian packaging improvements