setfile() now copies the new file name into mailname;