Removing references to the coq definition file.