diff --git a/build-constraints.yaml b/build-constraints.yaml
index 8bf70f1ab..c121092ff 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -9340,6 +9340,7 @@ expected-test-failures:
     - web3 # requires running server
     - webdriver-angular # webdriver server
     - websockets
+    - what4 # Missing cvc4 and cvc5 - cvc5 is not available for ubuntu 22.04 https://github.com/GaloisInc/what4/issues/262
 
     # Missing test files in sdist
     #
diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index e65a6ff38..f772dd8dc 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -18,7 +18,6 @@ apt-get install -y \
     cmake \
     coinor-libclp-dev \
     curl \
-    cvc5 \
     dvipng \
     freeglut3-dev \
     freetds-dev \