diff --git a/tools b/tools
index 314bb32..10d0438 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 314bb32c4790bc3eb8b1044ffc639ff3c85d562c
+Subproject commit 10d0438a60f7ea6efea046f0b0e4147cd8c0ecdf