fix leanpsk NO_SHA build