use ctypedef names that are closer to glpk.h ones