GLPK MIL solver updates