Fix etc/install_coq.sh on OSX