Update glpk SHA