re-added SealModule.cc