fixed type in cmake/CMakeLists.txt