Fix FFI bindings