diff --git a/tools b/tools
index efcf9d21..51785b5f 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit efcf9d21e09ccd52e00f973a42c78ad08b33e92c
+Subproject commit 51785b5fc923a6db5d2ee5ae7bffca97d43d1c66