new definition for Vagrantfile