diff --git a/third_party/tools b/third_party/tools
index df798de..11819cf 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit df798de0c0caa5e3fbf0ef9a8616ff884022762b
+Subproject commit 11819cf73b0312e89be761c16b239b6689af7fe0