Use imoseyon's leanKernel 8.3