hide the commented out admits from the makefile