w32shell.exe is necessary for the win32 versions of jed to execute
shell commands.  Do NOT move it from this directory.
