This function is usefull to download any kind of file and should resolve Internet Explorer name problem too.

EXAMPLE:
$myFile = 'something.to.download.txt';
forceDownload( $myFile );