Fix bootstrap with older mono versions.