correct type in root CMakeLists.txt