diff --git a/build-constraints.yaml b/build-constraints.yaml
index 29c95400..24a5ac47 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3398,9 +3398,6 @@ skipped-tests:
     # criterion
     - store
 
-    # requires custom setup?
-    - ersatz # https://github.com/fpco/stackage/issues/2508
-
 # end of skipped-tests
 
 # Tests which we should build and run, but which are expected to fail. We
diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index e4cd6dc6..372234bd 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -117,6 +117,7 @@ apt-get install -y \
     llvm-3.7 \
     locales \
     m4 \
+    minisat \
     mono-mcs \
     nettle-dev \
     nodejs \