modification of CMakeLists.txt