Ho risolto accorciando e modificando il codice postato all'inizio:
Codice PHP:
<?PHP

  $input_file 
$_GET[File];
  
$download_size filesize($input_file);
  
$filename basename($input_file);
    
header('Content-Description: File Transfer'); 
    
header('Content-Type: application/force-download'); 
    
header('Content-Length: ' filesize($input_file)); 
    
header('Content-Disposition: attachment; filename=' basename($input_file)); 
readfile($input_file);

?>
Ho cercato con Google: http://it.php.net/readfile