Ciao.
$id_file = $_GET['id'];
Fai sempre un controllo sul tipo di dati.