* Removed memory leaks from GLPK.