Minor changes to Vagrantfile to make the default work with our setup