update vagrantfile box url