use ffi.string instead of ffi.buffer in pypy