Udated to glpk new API