Use coq generated makefile