Workaround for [JENKINS-16499]