diff --git a/tools b/tools
index 2a2df527..7c2f120b 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 2a2df527894bcaa5d42ad80654c43e1e5a6b03d7
+Subproject commit 7c2f120b0ec320f362de51d3c46543e8d7c07cb9