diff --git a/tools b/tools
index cf87ca33..80dd78e6 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit cf87ca33a1775de36bf793615513c85e07907466
+Subproject commit 80dd78e6e35e2b5d24960a8b128675cfe22707d4