remove coq from makefile