fix box url in vagrantfile