$ 0 0 What a Virtual Machine's Name defaults to or what a User chooses to name it is irrelevant. All that matters is that the correct OS/Version is selected in the General Settings as shown in the image below. (Click image to enlarge.)