diff --git a/third_party/tools b/third_party/tools
index 89d4afa..a57249f 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 89d4afa65c9b905ea1ac114a1280b5dd203a7ad7
+Subproject commit a57249f3c495a345ed130e0956e96550fa238aac