minor change of bash.bat