By accident I used `mail-attach-file' instead of `mail-add-attachment'. I apologize for the accidental spam. Anyhow, here is the patch, this time attached correctly.