diff --git a/tools b/tools
index 3150f17..9222d7a 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 3150f173da1ca48b08c0669186bb6986ab4ab71e
+Subproject commit 9222d7a4eeb4fb18916db7c4b8487841ea1ab531