build.bat for jenkins (?)