update to reflect the Vagrantfile I actually use