Fix /etc/install_coq.sh for OSX

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. This closes #438