Fix x.py test --stage 0 src/tools/miri
#84775
Closed
x.py test --stage 0 src/tools/miri
#84775