Update VagrantFile