diff --git a/tools b/tools
index c7c61ea..c4f335e 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit c7c61ea0e38ab13da675f076fee16bd29d5e9b6e
+Subproject commit c4f335e486a33f8161d4866b1d0e5600391a0434