Vagrantfile DSL updated

The old DSL of Vagrantfile doesn't supported anymore.