diff --git a/tools b/tools
index 1d4851b..d8fc1f7 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 1d4851b751b61fd4a37c77ada1acdef5a91162bc
+Subproject commit d8fc1f79824b1c5d5e516ba61c4bd5e30d8bd313