diff --git a/tools b/tools
index 452f2b7d..f9aa0816 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 452f2b7de10dddb1bd8933ebb43bc8d8775e6658
+Subproject commit f9aa081666dcf6a8a6c8a3e061fd47a72370595d