Vagrant file modification