diff --git a/third_party/tools b/third_party/tools
index 9d23cf8..23026cb 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 9d23cf84bbd8db847fc180ab34f426d949f161b1
+Subproject commit 23026cb4e2ec630f6d421f742b65de6752a57b9d