diff --git a/third_party/tools b/third_party/tools
index fe7eac0..5f8254d 160000
--- a/third_party/tools
+++ b/third_party/tools
@@ -1 +1 @@
-Subproject commit fe7eac04c0a39a7e550f2d02a65d5f11a8c8a5d2
+Subproject commit 5f8254dfef5fdf5efdb815f5aff67eea47969a16