[Fix #437] Always set $TMPDIR
Do not substitute /tmp since $TMPDIR is always set