update vagrantfile to new format rename box