fix minor problem in install.sh