The ffi decls were added in cbdd9ee0 to work around broken ffi headers. Let's assume this is fixed now.