more clarification about the Vagrantfile