Fix vagrant box URL.