diff --git a/tools b/tools
index ca69607f..f041a74f 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit ca69607f7936e186cee43bb4bcaede979de701e2
+Subproject commit f041a74ffbf273b627d6c960f17357108d0dbd1c