Use /tmp when $TMPDIR is undefined