diff --git a/third_party/tools b/third_party/tools
index d80b40c..4ce83a4 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit d80b40c567a3cf83984cee26d9df18d755f57a05
+Subproject commit 4ce83a44219390264b0ca6bb85541230f44827cf