diff --git a/tools b/tools
index 30acc50..2f41548 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 30acc507d024e906f0263d161d4ded4a97d5c271
+Subproject commit 2f415488591e1b53e8a539d24f1e65680229963b