delete .coq_config