minor cleanup of the CMakeLists.txt