diff --git a/tools b/tools
index 36c1835b..efcf9d21 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 36c1835b4986c4c4d81a597156e7cd5c1a8e8b23
+Subproject commit efcf9d21e09ccd52e00f973a42c78ad08b33e92c