Fix install.sh (git still broken)