diff --git a/tools b/tools
index 9689772..d9db483 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 9689772fe4c082ae004e111ca1c85e65a2576519
+Subproject commit d9db4836e710be43784c2eeb2cc244e0934347ad