fix for tidy_ffi