Delete SealModule.cc~