Where does the name 'default' come from when launching a vagrant box?
$ vagrant up Bringing machine 'default' up with 'virtualbox' provider...
Is there a way to set this?