fixed issue with Vagrantfile