Update tools submodule

diff --git a/tools b/tools
index 849a97beb25939b906ed2b576ce5631497f8ee5e..c16f58280ca0a698aab31151f1b46e5d2ba94a18 160000 (submodule)
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 849a97beb25939b906ed2b576ce5631497f8ee5e
+Subproject commit c16f58280ca0a698aab31151f1b46e5d2ba94a18