fix the build.bat

It was using some options that are no longer relevant.