Removed vagrant box command

It’s not needed: the URL is in the Vagrantfile