Fix a bug in install.sh