diff --git a/external/img4tool b/external/img4tool
index 7f4ac073..70b57787 160000
--- a/external/img4tool
+++ b/external/img4tool
@@ -1 +1 @@
-Subproject commit 7f4ac073d934bb669c7da7d1d39fae8db3a0929a
+Subproject commit 70b5778730cd3d32f9bf5b49de9e075141892f7f
diff --git a/external/tsschecker b/external/tsschecker
index 84c7c8e5..d408303e 160000
--- a/external/tsschecker
+++ b/external/tsschecker
@@ -1 +1 @@
-Subproject commit 84c7c8e54232af9f4d875055cfc89cac8e046fb8
+Subproject commit d408303eb354d3644ecafb16a37f1ba625f3b8df