One more fix for Jenkins, in this case a workaround for something strange that the git plugin does