build.bat: cosmetics