Remove the -proc option and make it the default