actually fixed the vagrantfile