update example Vagrantfile to set default provider using ENV