Fixup x32 ffi build