Wie ich schon geschrieben habe "irgendwie". (In meinem Alter weiß man manchmal nicht mehr was vor einer Minute war...)
Vermutlich aber hatte ich das Problem so gelöst: Hatte die alte Version von Vice noch auf einem USB-Sick (WinVice3.1-x86). Das war auch die Version von der ursprünglichen Installation. Den Inhalt habe ich dann in die Ordner z.B C64 des Installationsordner von VICE (bei mir usr/share/vice) mit Root-Rechten eingefügt.
War das hilfreich?