SDF coq semantics generation completelly fixed for single file projects.
Generating files in src-gen.