modernization: cleaned the CMakeLists a bit