Pues recupera el nombre, si lo tienes en una BDD, o en alguna otra forma solo lo recuperas y luego lo pasas como una cadena:
Código php:
Ver original$fileName = "Archivo.exe";
header("Content-Disposition: attachment; filename=\"$fileName\"");
Saludos.