Changed the name to Coq_patch