[php] Rzeczywista nazwa pliku, file_get_contents() Opcje

[nexis]

[PHP] pobierz, plaintext 
<?php
$url = 'http://download.mozilla.org/?lang=pl&product=firefox-2.0.0.1&os=win';
$file = file_get_contents($url);
$filename = 'firefox.exe' // Firefox Setup 2.0.0.1.exe
?>
[PHP] pobierz, plaintext 

Jak automatycznie wyciągnąć z $url nazwę pliku, którą zwraca przekierowanie?