Don't commit Makefile.coq