fix check for GLPK, ref #182