rename coq -> original