fix package name for .deb