improvements in Debian packaging