$TMPDIR is a bad name for a temp directory, since it influences the next call to
mktemp!