diff --git a/utils/vagrant/bootstrap-deb.sh b/utils/vagrant/bootstrap-deb.sh
deleted file mode 100755
index b9ba957b4a40396745168e39f6fd6d9671dcc510..0000000000000000000000000000000000000000
--- a/utils/vagrant/bootstrap-deb.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-apt-get update
-apt-get build-dep -y ghc
diff --git a/utils/vagrant/bootstrap-rhel.sh b/utils/vagrant/bootstrap-rhel.sh
deleted file mode 100755
index eb28f07b1c0e1d80cde360072918e6a61e62e5b7..0000000000000000000000000000000000000000
--- a/utils/vagrant/bootstrap-rhel.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-yum update -y
-yum install -y glibc-devel ncurses-devel gmp-devel autoconf automake libtool \
- gcc make python ghc git