renamed wkptr to wkptr_t, to be consistent with the newest version of hpp::model