@echo off call bash.bat -c "b.win32 %*"