bug fix in make.bat