Fix a bug between Trubine and GLPK