fix oj_kernel