further adjustment for new haste-ffi-parser and new OO system