Work around glitch on mono with the version.