Use new run_test.sh in gmp test script