Al final lo he hecho utilizando este código:
Código PHP:
<?php
$file="archivo.php";
header("Content-type: application/octet-stream\n");
header("Content-Disposition: attachment; filename=\"$file\"\n");
header("Content-transfer-encoding: binary\n");
header("Content-length: " . filesize("$file") . "\n");
$fp=fopen("$destino/$file", "r");
fpassthru($fp);
?>
Gracias a todos por la ayuda