options now defined in VagrantFile