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

(cherry picked from commit 123ed735)