added back necessary Vagrantfile options