Remove workarounds suggested for "tmpfile", in preference to "mbox"