Add missing CMakeLists.txt, produce a CMake warning otherwise