correct Debian package generation