small changes in CMakeLists