re-added SealModule.cc that was accidently removed