Use this repo in the Vagrantfile