workaround for GLPK bug