diff --git a/third_party/tools b/third_party/tools
index abf0e6c..b94810b 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit abf0e6c539e47f4e5a0ae3b77aef72a70af4c48b
+Subproject commit b94810b53dbe81d609bf5f859bd7e77214d38963