diff --git a/tools b/tools
index bb46b80d9..05e5288c7 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit bb46b80d9bd0b0ae71878211539c7992a0ece911
+Subproject commit 05e5288c7ed37cb8677a604d0886d6330c32656b