Change the package name for haltests