diff --git a/tools b/tools
index 8787916..9e87986 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 8787916eb063d2e959be10f747ec19885e269e2b
+Subproject commit 9e879862a1d144013ecc94ebb0ccc84a0ca2b66d