diff --git a/third_party/tools b/third_party/tools
index 24f9ee2..ee15a08 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 24f9ee2e0d6bda93893bb6f18aefd86731c8e322
+Subproject commit ee15a08727a3241e055f8b02611b80c1da8fc312