Removed some glpk leftovers