I think all generated files should be stored in ${CMAKE_GEN_SRC_DIR}.
Right, some generated files aren't put there, but we should move all to this directory