diff --git a/tools b/tools
index 10a800a..f8ec81d 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 10a800a072072ef123558ba8c3a8e69e22b2e90e
+Subproject commit f8ec81de4bb9386b6713db6c186da7d6b0c2e6cd