Apply ugly workaround for bug JENKINS-15713