[infra] Build failed in Jenkins: weirdo-stable-stein #16