Danke!
(Es gibt auch keinen Virus, sondern nur mein paranoides Virenprogramm, das in jeder *.exe-Datei gleich einen islamistischen Attentäter vermutet. Aber mit rar-Gepacktem hat es keine Probleme.)