try to work around std dependency vendoring issue#120

RalfJung merged 1 commit into

rust-lang:masterrust-lang/miri-test-libstd:masterfrom

RalfJung:vendorRalfJung/miri-test-libstd:vendorCopy head branch name to clipboard