diff --git a/tools b/tools
index d4194fe..313f752 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit d4194fed0aa30e89fd3ba405f64ade3e45bd6d47
+Subproject commit 313f7524ce37689ebfb60c81f7bda721535467cf