**** The variable mail-passwd-file now specifies a list of files to read
to get the list of user ids. By default, one file is used: /etc/passwd.