editing down Vagrantfile