diff --git a/tools/make.exe b/tools/make.exe index 1e50b71f8..44b31c3a9 100644 Binary files a/tools/make.exe and b/tools/make.exe differ