fix for FFI