Vagrant file using the values set by bootstrap.py