update Miri

diff --git a/src/tools/miri b/src/tools/miri
index ea86335318fd06ec964d9a86b187995bda1b6c7d..39ebb079a8e1bd9b8838b97bdc1718f4c0be6b48 160000 (submodule)
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit ea86335318fd06ec964d9a86b187995bda1b6c7d
+Subproject commit 39ebb079a8e1bd9b8838b97bdc1718f4c0be6b48