BUG: small fixs on Vagrantfile