Improved make.bat for Windows.