Should this be removed?
It appears that the `run_vagrant.sh` makes multiple vagrantfiles unnecessary.