Newer version of Coq
Revert Coq to prevent spawning loads of coqtop processes