update Build.bat since build.cmd was removed by upstream