cleanup Coq files