fixup jenkins config