Minor change for make.bat