diff --git a/tools b/tools
index be2f2b023..5709cdd18 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit be2f2b0230accd48af041f1935ecc5b7f74c6ec5
+Subproject commit 5709cdd189de88b9c336f299b0c2dda9dcfe3145