Updated Debian packaging