More jenkins tweaks