Upgrade Mono MRE to v3.8.0
Merge pull request #6176 from chaifeng/mono-mre-3.8.0

Upgrade Mono MRE to v3.8.0