add scripts to support imoseyon/leanKernel