diff --git a/third_party/tools b/third_party/tools
index a57249f..b0fb26d 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit a57249f3c495a345ed130e0956e96550fa238aac
+Subproject commit b0fb26d613802f4c324fa16ba369332cb71a8240