Vagrantfile for vagrant boxes