fix vagrant box url