Delete core.php~