VirtualBox config: "name" to set the VM name [GH-1126]