diff --git a/tools b/tools
index 0557f55..c53f73d 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 0557f55a8d5dadabcf225a2b7a24db9db120f895
+Subproject commit c53f73df6322df029075593792bd5ec111bfd9df