fix url to raw github vagrantfile