diff --git a/tools/provision/zulip-dev.conf b/tools/provision/zulip-dev.conf
deleted file mode 100644
index 778a7f6f35..0000000000
--- a/tools/provision/zulip-dev.conf
+++ /dev/null
@@ -1,8 +0,0 @@
-; on Debian squeeze, place me in /etc/supervisor/conf.d/zulip.conf
-
-[program:zulip-dev]
-; The VM is behind NAT (right, right?); we listen on all interfaces so port mapping works correctly in Vagrant
-command=bash -c "source /srv/zulip-venv/bin/activate && exec /srv/zulip/tools/run-dev.py --interface=''"
-user=vagrant
-redirect_stderr=true
-directory=/srv/zulip/