Vagrant file move to API 2.0 of Vagrant