Modify package name in the debian control