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