Don't use `mail-archive-file-name'