-- get support for glpk to run