build.bat: cosmetic