diff --git a/third_party/tools b/third_party/tools
index 6b9a0b7..251bb50 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 6b9a0b7efab414d65f0a752121746f465832a3a8
+Subproject commit 251bb50cb24af456e3c20351683f8a8e514da0e7