install.sh now assumes a previous git checkout