diff --git a/tools/common b/tools/common
index 3217db1e..8a19eb87 160000
--- a/tools/common
+++ b/tools/common
@@ -1 +1 @@
-Subproject commit 3217db1ed4db73165b0d2d6f424e9a0a2a0e08fc
+Subproject commit 8a19eb879e94ff19bcc5fb59c0ce3336ce3214a9