HoTT/HoTT — pull request #439 by andrejbauer (2014-08-27 18:23:19+00:00)
Title: Fix /etc/install_coq.sh for OSX, close #438

It turns out that `cd` on my OSX prints out the directory it goes to, so `$DIR` ended up having two copies of the same directory.