diff --git a/build-constraints.yaml b/build-constraints.yaml
index 204f869c..0b7b6934 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2968,6 +2968,7 @@ packages:
 
     "Shao Cheng <astrohavoc@gmail.com> @TerrorJack":
         - cabal-toolkit
+        - direct-rocksdb
         # - simple-download # GHC 8.2.1
         # - encoding-io # GHC 8.2.1
 
diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index c27396c3..19c02606 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -30,9 +30,12 @@ GHCVER=8.2.1
 apt-get update
 apt-get install -y \
     build-essential \
+    cmake \
     curl \
     freeglut3-dev \
     fsharp \
+    g++ \
+    gawk \
     ghc-$GHCVER \
     ghc-$GHCVER-dyn \
     ghc-$GHCVER-htmldocs \
@@ -124,6 +127,7 @@ apt-get install -y \
     minisat \
     mono-mcs \
     nettle-dev \
+    ninja-build \
     nodejs \
     npm \
     openjdk-8-jdk \