new VagrantFile