patched a fatal bug in GLPK invoked only by Eflux-2