diff --git a/tools b/tools
index f041a74f..2a2df527 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit f041a74ffbf273b627d6c960f17357108d0dbd1c
+Subproject commit 2a2df527894bcaa5d42ad80654c43e1e5a6b03d7