And document the use of $TMPDIR in README