another fix for glpk