[PPL-devel] Problem in GLPK 3.1