diff --git a/deps/aig b/deps/aig
index 00f138637d..a2273709a7 160000
--- a/deps/aig
+++ b/deps/aig
@@ -1 +1 @@
-Subproject commit 00f138637d8936566534103878ca895613b7f714
+Subproject commit a2273709a7ca69ce8676788a9d685e046a30de71
diff --git a/deps/argo b/deps/argo
index 904fb34872..594a040ffd 160000
--- a/deps/argo
+++ b/deps/argo
@@ -1 +1 @@
-Subproject commit 904fb34872fcef462030fe38978842aa5a9db903
+Subproject commit 594a040ffdbcdc5fc963e632e857697046e64768
diff --git a/deps/crucible b/deps/crucible
index e826210639..7e942156ac 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit e826210639edaf608687041136443f056c25e596
+Subproject commit 7e942156acde38c0dfc2c47ef8e37392a746e556
diff --git a/deps/cryptol b/deps/cryptol
index 31bfcc63f9..23c396b1a9 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 31bfcc63f99b094c7c8627568e25f7d5fd8bd509
+Subproject commit 23c396b1a9951108aeedbd51fa2bc9d5a9369365
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
index 0365dca32d..14d3a0b499 160000
--- a/deps/cryptol-specs
+++ b/deps/cryptol-specs
@@ -1 +1 @@
-Subproject commit 0365dca32d13d6fc12a93ded11b686e18e6490eb
+Subproject commit 14d3a0b499f0abceb19f40cc7cc9784a59a99b0c
diff --git a/deps/dwarf b/deps/dwarf
index ad6043e398..ab74e6e73e 160000
--- a/deps/dwarf
+++ b/deps/dwarf
@@ -1 +1 @@
-Subproject commit ad6043e3982da49839d0dff02167dd66613003c7
+Subproject commit ab74e6e73ec92cf3219823d5336f190a1464118b
diff --git a/deps/elf-edit b/deps/elf-edit
index e7d7a38f9b..6a089cc6e8 160000
--- a/deps/elf-edit
+++ b/deps/elf-edit
@@ -1 +1 @@
-Subproject commit e7d7a38f9bc9dfb535b96c79c06150cac6281ce4
+Subproject commit 6a089cc6e84a35604168c10193c521fa1359481d
diff --git a/deps/flexdis86 b/deps/flexdis86
index 9b899ed652..178bfc199d 160000
--- a/deps/flexdis86
+++ b/deps/flexdis86
@@ -1 +1 @@
-Subproject commit 9b899ed652c80dd22aa7dd9f6920d0d13a077bf6
+Subproject commit 178bfc199d6fb638cbf90de84a83ea0bf246170f
diff --git a/deps/jvm-parser b/deps/jvm-parser
index b1a5a21684..c6e4eebe4d 160000
--- a/deps/jvm-parser
+++ b/deps/jvm-parser
@@ -1 +1 @@
-Subproject commit b1a5a216849a573ffc214c96b9aefb61e987365b
+Subproject commit c6e4eebe4db12245fa944bacec4eed44d586d36a
diff --git a/deps/llvm-pretty b/deps/llvm-pretty
index 34c95e77fb..1108dade73 160000
--- a/deps/llvm-pretty
+++ b/deps/llvm-pretty
@@ -1 +1 @@
-Subproject commit 34c95e77fb9fdc584c23208f81f6072cb0e05c3f
+Subproject commit 1108dade73625485d081a74f48dc7e10aaf9c91e
diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser
index 1bad3e43c7..54737bd367 160000
--- a/deps/llvm-pretty-bc-parser
+++ b/deps/llvm-pretty-bc-parser
@@ -1 +1 @@
-Subproject commit 1bad3e43c7444e363ef4c3d9f954bc04b01b1795
+Subproject commit 54737bd3675d54a795203bbd54a027e36119d233
diff --git a/deps/macaw b/deps/macaw
index bbc0b6a40a..8a0c760886 160000
--- a/deps/macaw
+++ b/deps/macaw
@@ -1 +1 @@
-Subproject commit bbc0b6a40a2b99875c45fe137c97cc6c9e142f7d
+Subproject commit 8a0c760886ae6b9d4563bc6b647666a3a36c8c72
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
index 1baefb9892..b2e9cc34a5 160000
--- a/deps/parameterized-utils
+++ b/deps/parameterized-utils
@@ -1 +1 @@
-Subproject commit 1baefb98929bbc658e0f56f21dcf0c83f7beacd9
+Subproject commit b2e9cc34a58e5931cf14beca2c5bc28f343cf966
diff --git a/deps/what4 b/deps/what4
index 1786acf8d7..652b4c8d08 160000
--- a/deps/what4
+++ b/deps/what4
@@ -1 +1 @@
-Subproject commit 1786acf8d720d51a415b30c08246f05a97b2e45d
+Subproject commit 652b4c8d083c918fab4aed69eb18355b8b2ecfd6
diff --git a/saw-remote-api/Dockerfile b/saw-remote-api/Dockerfile
index 04603babc5..1e821f15e5 100644
--- a/saw-remote-api/Dockerfile
+++ b/saw-remote-api/Dockerfile
@@ -19,7 +19,7 @@ RUN chown -R root:root /home/saw/rootfs
 
 FROM debian:buster-slim
 RUN apt-get update \
-    && apt-get install -y libgmp10 libgomp1 libffi6 wget libncurses5 unzip openjdk-11-jdk-headless
+    && apt-get install -y libgmp10 libgomp1 libffi6 wget libncurses5 libreadline-dev unzip openjdk-11-jdk-headless
 COPY --from=build /home/saw/rootfs /
 RUN useradd -m saw && chown -R saw:saw /home/saw
 USER saw