remove check module (it's in c.l now)