Hm, also du brauchst die Datei. Von daher würde ich das Paket vielleicht nochmal woanders runterladen oder auch die EV, weil dort ja auch alle Dateien enthalten sind. Alternativ von jemandem schicken lassen, der das PI benutzt, aber mir fällt spontan so niemand ein.