Delete misc.php~