make the mail address produced by the grub shell consistent with the other programs.
3 files changed