diff --git a/third_party/tools b/third_party/tools
index 11edeb1..ee8840a 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 11edeb17bf584e80a66d303e49f1bca806cd823b
+Subproject commit ee8840a343928ea4ae2f040c6bd358aa3b1bf110