Download di un file in PHP

[berlu]

Devo fare il download di un file il mio codice è il seguente:

 $pippo=$_GET['nome_file'];
 header("Content-type: * ");
 header("Content-Disposition: attachment; filename=".$pippo);
 readfile($pippo);
 exit; 

Il problema è che il file desiderato viene scaricato senza l'estensione e con un nome diverso (precisamente quello della pagina che contiene il codice sopra indicato).
Il file scaricato però è quello giusto perchè se aggiungo a mano l'estensione e poi lo apro il contenuto è giusto!!!
Qualcuno sa darmi una mano? Cosa ho dimenticato?

[serialkiller]

chiamata
http://www.devpro.it/php4_id_72.html

funzione
http://www.devpro.it/code/72.html