Changes to VagrantFile