jenkins: simplify build script