rename soundness
Use coq_makefile