Jenkins Git plugin tagging with mono-4.0.1.44