remove contradiction from CMakeLists.txt