diff --git a/tools b/tools
index 5c235b34a..3c2b8cc22 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 5c235b34a88ad6e38d022388f2493fc4cbde765e
+Subproject commit 3c2b8cc224932301d9b16e369ce25b708f1a3ff6