[infra] Jenkins build is back to normal : weirdo-stable-stein #20