pre-GLPK