Yet another @WithPlugins fix, working around JENKINS-19859 this time.