fix package name for debian