diff --git a/third_party/tools b/third_party/tools
index 8b2462d..3bf26d5 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 8b2462da784556af62718bfcba5f8b8db1de931a
+Subproject commit 3bf26d5dbaa30cbb3d7552ec8b4f893e2b09e14a