diff --git a/tools b/tools
index 3efdb9f..88b35bd 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 3efdb9f4d13cb730264cf17498ed1e1ee908934c
+Subproject commit 88b35bd7ebb7e30448579f1564220398f990541c