fix vagrantfile