patch.size : under a Linux system, this patch allows you to add sympa.pl
             process size to the log.
