Scaricare un file PDF senza aprirlo

[pablito]

Scaricare un file PDF senza aprirlo

Ciao a tutti
mi riferisco alla pagina http://www.giorgiotave.it/guida_php/download_file.php in cui spiega come far scaricare all'utente un file PDF
Da questa pagina ho costruito una mia pagina di prova come segue:
<?PHP
$File="giornale.pdf";
$dimensioni_file=filesize($File);
header("Content-type: application/pdf");
header("Content-Disposition: attachment; filename=$File");
header("Content-Length: $dimensioni_file");
readfile($File);
?>
la pagina funziona bene su FF ma su MSIE NO
ho aggiunto per scrupolo la riga

ini_set('zlib.output_compression','Off');
nel caso MSIE avesse dei problemi con la compressione ma è stato inutile

Cosa posso fare anche tenendo conto che la maggioranza usa MSIE?
Grazie
Paolo