gmp for travis