[2018-08] [runtime] Fix building older runtimes with newer system Mono#12574

akoeplinger merged 1 commit intomono:2018-08mono/mono:2018-08from

monojenkins:backport-pr-12573-to-2018-08monojenkins/mono:backport-pr-12573-to-2018-08Copy head branch name to clipboard