though there's no such boxes with this name I think it's because vagrant ssh is able to parse the primary: true ``` config.vm.define "dev", primary: true do |app| ``` and vagrant ssh-config should put an alias "default" in its output