Issue #18: ensure we push GMP version into install_gmp.sh