Updated the instructions for glpk