RE: problem using ffi with profiling

Sure. The relevant files look like: [... snipped ...]

-prof automatically turns on -fvia-C (because the native code generator can't generate code for profiling), so I'm guessing that -prof is a red herring and you'll get the same result if you just turn on -fvia-C. When compiling with the native code generator, any include files specified in FFI declarations or with -#include options are ignored. Perhaps you need to add an appropriate -I flag to the command line so the C compiler can find the header files? Cheers, Simon