default vmware Vagrantfile