Restore the tools/CMakeLists.txt file