Changed default box to trusty32 to run in VirtualBox under Windows 7. Changed provider from vmware to virtualbox.