update build_gmp.sh