problem using ffi with profiling

[Simon Marlow]

> 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