diff --git a/tools b/tools
index cd658d9..a741b23 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit cd658d9af958a46be3d46679dde4e3af6109c59e
+Subproject commit a741b23415a008a6f8ab8c12c4e7ed1281c2dab0