Gotcha
When piping something to procmail, which comes from, say, crm114, be sure it has a From_ line, or it will not be correctly appended to mailboxes (procmail won’t add the From_ line itself).
One way of adding this line is invoking procmail via formail, as in
formail -ds procmail.