It looks like I was wrong, you should only run `vagrant up` (after you've added the box with `vagrant box add ..`.)