Syntax for Vagrantfile