Remove spurious CMakeLists.txt