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