start converting to new GLPK API.