diff --git a/third_party/tools b/third_party/tools
index d1d1ab5..3196cd6 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit d1d1ab58264eaf125597db38302f2f91b9267275
+Subproject commit 3196cd6696239a11b60f9730af0bad1f73ab0e5d