Change GLPK version number
mpl: output file name