minor changes to CMakeLists.txt file