diff --git a/third_party/tools b/third_party/tools
index 07d73bb..df798de 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit 07d73bb0213a06ffbb14d521d1e1dd9a7c9e5e1f
+Subproject commit df798de0c0caa5e3fbf0ef9a8616ff884022762b