Update tools submodule

diff --git a/tools b/tools
index de468e3b360506756cbc4b5530395b4fafd7d57e..dbfc44e67909e512e2732755fcf547839e03581d 160000 (submodule)
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit de468e3b360506756cbc4b5530395b4fafd7d57e
+Subproject commit dbfc44e67909e512e2732755fcf547839e03581d