[infra] Build failed in Jenkins: weirdo-stable-pike #72