Once the Vm has been created, use the VBox setting

there's no point ssh-ing to the default port if the vm was set up
differently.