Fix CMakeLists: remove unused file