[php] Netscape ändert Fileextension beim Download

[Ulrich Hacke]

Hallo,
ich biete auf einer Website Files unterschiedlicher Art an (zip, pdf..).
Klickt der User auf eine Datei, soll diese nicht dargestellt werden, sondern
der Browser soll fragen, was damit geschehen soll (anzeigen/speichern). Der
PHP-Code sieht so aus:

header("Content-type: application/octet-stream");
header("Content-disposition: attachment; filename=$userfile);
header("Content-Length: ".filesize($userfile));
header("Content-Transfer-Encoding: binary\n");

Klappt auch wunderbar, nur Netscape 7.x schiesst quer und speichert eine
Datei statt als "dokument.zip" als "dokument.zip.php" ab. Hat jemand eine
Idee, wie man die zusätzliche Extension los wird? Danke im voraus.

Gruß, Uli