[vagrant] Update the vagrant file to fix the box name.