diff --git a/tools/bootstrap.sh b/tools/bootstrap.sh
index ee4dce05ab1876049a8f262c8cc370fb8704c825..cd208d300af415cad38b5c626e2ba38f34ef7a2d 100755
--- a/tools/bootstrap.sh
+++ b/tools/bootstrap.sh
@@ -5,8 +5,10 @@ SCRIPT=$(realpath "$0")
 DIR=$(dirname "$SCRIPT")
 ROOT=$(realpath "${DIR}/..") # Root of personoj repo
 
-xargs sudo apt-get -yq install < debian-deps
-yes | sudo apt-get install -q emacs-nox # For PVS
+yes | sudo apt-get -q install \
+	zlib1g-dev libx11-dev libgmp-dev bubblewrap m4 gcc autoconf \
+	make unzip pkg-config git rsync bmake gcc perl \
+	emacs-nox
 sudo sysctl kernel.unprivileged_userns_clone=1 
 yes '/usr/local/bin' | sudo bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) --version 2.1.0"
 
diff --git a/tools/debian-deps b/tools/debian-deps
deleted file mode 100644
index aed6272d278a6bfab1dcd84b288a2a34fdd4eea5..0000000000000000000000000000000000000000
--- a/tools/debian-deps
+++ /dev/null
@@ -1,14 +0,0 @@
-zlib1g-dev
-libx11-dev
-libgmp-dev
-bubblewrap
-m4,gcc
-autoconf
-make
-unzip
-pkg-config
-git
-rsync
-bmake
-c-compiler
-perl