coq-configure is running