diff --git a/third_party/tools b/third_party/tools
index 04a0bc9..19c0cfd 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 04a0bc939eeae0090fd0e8964dddf3863a551154
+Subproject commit 19c0cfda9368e64f05fba8d6d5aa25945210f780