minor change in build.bat