fixing vagrantfile as I go