Delete AppKernel.php~