fix Vagrantfile provisioners to work from Github