modify AppKernel.php