Altering Vagrantfile so box name matches URL .box file