PuPHPet works very well for getting basic Vagrant boxes up and running. Thank you.