fixes for build-gcc.sh