fix vga names in default_list