small tweak to CMake