Update Miri

diff --git a/src/tools/miri b/src/tools/miri
index 41f3fe64317a6ef144d2ac33e4e5870d894d6038..67c04afc251ad7d80ea22e2056c93349e7e9df58 160000 (submodule)
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 41f3fe64317a6ef144d2ac33e4e5870d894d6038
+Subproject commit 67c04afc251ad7d80ea22e2056c93349e7e9df58