It is a common convention to use $TMPDIR for temporaries, instead
of an hardwired /tmp pathname.  And now I need is because my /tmp is
too small on the system where I flash.

The local variable TMPDIR is thus renamed to WRSTMPDIR.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>