Improved Debian packaging