Fix: few fixes in Vagrantfile