diff --git a/externals/aixlog b/externals/aixlog
index 7c0b178b..24879022 160000
--- a/externals/aixlog
+++ b/externals/aixlog
@@ -1 +1 @@
-Subproject commit 7c0b178ba5f8e364f3e3a5b531006cbd5d993830
+Subproject commit 2487902299dfc889a67e868cdc0af4ef04955c44
diff --git a/externals/popl b/externals/popl
index c0f30940..df5a009b 160000
--- a/externals/popl
+++ b/externals/popl
@@ -1 +1 @@
-Subproject commit c0f309405f084baabf23e8c8b0b4b73b620d831c
+Subproject commit df5a009b00a62053da7175576476555826efb228