Update the FFI for the new C code