Fix portability issue in git pull for sys/install.sh (thanks zlul!)