updating Vagrantfile to dynamically load the box name