CMakeLists.txt: touch up