fix GLPK install