diff --git a/third_party/tools b/third_party/tools
index e72ffef..379a175 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit e72ffefa32c545709921c8b1645ab5203023fb4e
+Subproject commit 379a175fe7632ec9fefa9c66b7bfd119fe2f0fe1