I have a problem with integrating cabal with greencard. 1. When I run build it creates: src/Path/To/Module_stub_ffi.c src/Path/To/Module_stub_ffi.h instead of dist/build/Path/To/Module_stub_ffi.c dist/build/Path/To/Module_stub_ffi.h 2. I get the unknown symbols errors for symbols defined in stubs. The problem is that I need to import the macros constants c2hs puts #c/#endc in header which is not compiled (and therefore suffers from the same problems). Is there any way to get the value of macro without having additional c file? Regards