正在尝试生成php下载链接.不会设置文件名

你好，我正在尝试为我的程序生成一个php驱动的下载链接，我已经复制并粘贴了一些以前有效的旧代码，除了两个问题外，它似乎仍然可以工作。

问题1：不管怎样，它总是下载文件作为link.php而不是文件名

问题2：文件大小没有发送到浏览器（对此并不关心）

主要是我需要知道我在设置文件名时做错了什么，下面是我的代码：

$file = $_GET['file'].'.exe';
if ($_GET['DL'] == "GO") {
header('Pragma: public');
header('Expires: 0');
header('Cache-Control: must-revalidate, post-check=0, pre-check=0');
header('Cache-Control: private', false); // required for certain browsers 
header('Content-Type: application/octet-stream');
header('Content-Disposition: attachment; filename="'. basename('MIRROR/'.$file) . '";');
header('Content-Transfer-Encoding: binary');
header('Content-Length: ' . filesize('MIRROR/'.$file));
ob_clean();
flush();
readfile('MIRROR/'.$file);
die();
}