diff --git a/tools b/tools
index 5804c70..b5eedb9 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 5804c70b5f78a2bc190022021e9c4e0b37f89573
+Subproject commit b5eedb961b6d2c19130b0e1bb56b18aa64c2edd6