make small adjustments to CMakeLists.txt