Make Coq buildable on any Unix