install GMP in CI environment