diff --git a/tools b/tools
index 51785b5f..310f53dc 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 51785b5fc923a6db5d2ee5ae7bffca97d43d1c66
+Subproject commit 310f53dc101934477159e783761e785017a1c637