Delete navigation.php~