diff --git a/tools b/tools
index de33cb4..c6b4b57 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit de33cb42676acfc6f94f4b3a9d5b40bfdcbb935c
+Subproject commit c6b4b572f543ce25588eec4d471905dffe52d196