diff --git a/tools/common b/tools/common
index cb04b9de..7cef1c0d 160000
--- a/tools/common
+++ b/tools/common
@@ -1 +1 @@
-Subproject commit cb04b9de7f1f012e2ca55776cd70a44973311bac
+Subproject commit 7cef1c0df7d50b6727ac6e7b1f1f7f39744dd40f