diff --git a/tools/version-info.bat b/tools/version-info.bat old mode 100644 new mode 100755