remove unused Coq file