Virtual destructors for Mod and ModProxy classes