Tweaking Jenkins install