some sane defaults for the Vagrantfile.