Fix a bug in install_gcc.sh