Fix FFI tests