If there is not enough space in /tmp, it's really nothing we
can do about here.  This is not an essential file.