Vagrantfile syntax