use curl instead of wget to retrieve vagrant.pub from github