re-added missing SealModule.cc