update FFI specs