Messing around with glpk --prefix path