CMake example of generating source files with known names