/etc/mailname is debian-specific