include gmp for glpk on travis