diff --git a/third_party/tools b/third_party/tools
index b0fb26d..7917d03 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit b0fb26d613802f4c324fa16ba369332cb71a8240
+Subproject commit 7917d03af03b81bf51d27d3e6e30cf5d6d330269