Use the right filename for vga image links.