Update vagrant.py