bug fix Vagrantfile