patching file libffabi/src/ffabi.c