diff --git a/tools/cmake/bin/cmake b/tools/cmake/bin/cmake old mode 100644 new mode 100755 diff --git a/tools/ninja/ninja b/tools/ninja/ninja deleted file mode 100644 index 3aaf2a9d..00000000 Binary files a/tools/ninja/ninja and /dev/null differ