tweak .jenkins