fix package name on debian