[infra] Jenkins build is back to normal : config-update #1671