specify vagrant box url