diff -r 7ebdc6c80d55 src/shell/jython
--- a/src/shell/jython	Fri Sep 11 01:43:27 2015 +0000
+++ b/src/shell/jython	Sun Sep 13 10:00:00 2015 +0800
@@ -98,7 +98,7 @@
   # switch delimiter only after building a Unix style $CP
   CP_DELIMITER=";"
   CP=`cygpath -p -w "$CP"`
-  PRG=`cygpath -w "$PRG"`
+  PRG=`cygpath -w "$PRG"`.exe
 fi
 
 # ----- Execute the requested command -----------------------------------------