fix vagrant.pub fetch