set up /etc/mailname on Debian systems