Как изменить имя файла при загрузке с сервера на клиентский компьютер? Дело в том, что на сервере файлы хранятся с названием очень неприглядным. Хочется чтобы когда пользователь нажимал ссылку грузился файл с именем например из какой-то переменной. Подскажите как это сделать не переименовывая файл оригинал?

define('ROOT', dirname(__FILE__).'/');

$file_patch = ( ROOT . "result.txt" );
$file_name	= ( "result.txt" );

header ("Content-Type: application/octet-stream");
header ("Accept-Ranges: bytes");
header ("Content-Length: ".filesize($file_patch));
header ("Content-Disposition: attachment; filename=".$file_name);  
readfile($file_patch);

Поясню на всяк...
$file_patch - реальный файл, точнее его местонахождение
$file_name - сюда пишем, то имя, что должно показываться юзеру...