Fix name confusion in CMakeLists