re-adding SealModule.cc