check for glpk >= 4.32