Adapt vagrant file for lates releases of Vagrant