diff --git a/third_party/tools b/third_party/tools
index 1cc9d69..7a56029 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 1cc9d69831060f204798ab993c21ee9ed9b63d56
+Subproject commit 7a560291e310bb85a4aa72d33017219cc5e7356c