Fixing vagrantfile