Update of vagrant file for new vagrant version