adding header files in generation C source - TODO does not compile for core files, still to be moved outside