Fixed name of AppKernel file