cambiar el nombre de un archivo al vuelo

[abimaelrc]

Entiendo y corrjanme, en ocaciones IE tiene problemas cuando no se indica

Código PHP:

header("Content-type: application/force-download");
 

Lo digo porque a veces puede que salga en pantalla el binario y no la caja de Abrir, Guardar y Cancelar.
O sea al final debería ir

Código PHP:

header("Content-type: application/force-download");
header('Content-Disposition: attachment; filename="downloaded.exe"');
readfile('original.exe');
 

Tal vez es innecesario pero lo digo porque me crearon esta duda