CMakeLists.txt tweak