diff --git a/tools b/tools
index 7aebced..2a400f4 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 7aebcedd57ca61d5291b800845d161478f045fb4
+Subproject commit 2a400f42147f41206b31d7750558e4b3d0293f08