Fixed another bug in the CMakeLists.txt