diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
index 7fdd7048..53e8e688 160000
--- a/test/cbmc/aws-templates-for-cbmc-proofs
+++ b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit 7fdd7048b01e68fd549e20da1d216e34d719043a
+Subproject commit 53e8e688bae7a54180e3834bf35bbcd89137e66c
diff --git a/test/cbmc/litani b/test/cbmc/litani
index 8b23cb74..d42428f5 160000
--- a/test/cbmc/litani
+++ b/test/cbmc/litani
@@ -1 +1 @@
-Subproject commit 8b23cb74d5ca47e0f94ee50bb3da7e907fd48f27
+Subproject commit d42428f57fdbaf38f3e510d2935f74037b9ae993
diff --git a/test/cbmc/proofs/check-link-stage b/test/cbmc/proofs/check-link-stage
new file mode 120000
index 00000000..aabe62b2
--- /dev/null
+++ b/test/cbmc/proofs/check-link-stage
@@ -0,0 +1 @@
+../aws-templates-for-cbmc-proofs/template-for-repository/proofs/check-link-stage
\ No newline at end of file