CMakeLists tweak