coq_makefile example