diff --git a/third_party/tools b/third_party/tools
index d8cde2a..47441c0 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit d8cde2addd3987c980b6b53d3ce0e08dff145b1d
+Subproject commit 47441c0bc95190858014d6f1eab896d0b0aad739