Use verify instead of package in default goal.