Replace package with verify in the default goal.