removed Kernel 'K' alias from extensions