Some minor changes in make.bat