fixed glpk-hs version