Fix debian package name