Delete duplicate entries in the CMakeLists.txt