Jenkins setup, minor tweaks