Clean up coq files