diff --git a/shell.bat b/shell.bat old mode 100755 new mode 100644