Make Coq buildable on any Unix
Merge pull request #2514 from jwiegley/coq

Make Coq buildable on any Unix