Recover src/CMakeLists.txt