update glpk symbols