diff --git a/tools b/tools
index 19c1984cda..d4f2be22d4 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 19c1984cda8329cd3a09b9257771c47420042a26
+Subproject commit d4f2be22d4a9d19ef375a700ea1068a0dc877051