O problema foi resolvido executando o comando mail
em um terminal na máquina real e não no SSH.
Depois de enviar e-mail para meu usuário no CentOS 7, assim:
$ mail -s "df" alxs < df.txt
Eu posso ver o novo e-mail no spool quando eu corro
$ cat /var/spool/mail/alxs
Mas quando eu corro:
$ mail
bash retorna apenas No mail for alxs
em vez de exibir o e-mail esperado.
Esta é uma instalação limpa do CentOS 7 em uma VM.
O problema foi resolvido executando o comando mail
em um terminal na máquina real e não no SSH.