Still trying to get glpk to work on Heroku . . .