COMMANDS.SH/mime-read: also support BSD AWK
COMMANDS.SH/mime-read-bsd: for BSD AWK (obsolete)
COMMANDS.SH/mime-read-bsd: delete