Auto merge of #2645 - RalfJung:miri-bench, r=RalfJung
Auto merge of #2645 - RalfJung:miri-bench, r=RalfJung

fix ./miri bench

Fixes https://github.com/rust-lang/miri/issues/2643

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri