Make it so we can wget Vagrantfile