Vagrantfile with Chef generator in php