diff --git a/third_party/tools b/third_party/tools
index 8dbd965..7bbe6d1 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 8dbd9659f536a61edf384ddc5c42db0af1e682c4
+Subproject commit 7bbe6d18390cf0c5337aa95912d1d7f98b4ab84e