GLPK needs gmp