Restore the old tools/CMakeLists.txt