Nightly can use a different tempdir.

*** 1269,1279 ****
                  echo "$IA32_IHV_WS: not found"
                  args_ok=n
          fi
  fi
  
! TMPDIR="/tmp/nightly.tmpdir.$$"
  export TMPDIR
  rm -rf ${TMPDIR}
  mkdir -p $TMPDIR || exit 1
  chmod 777 $TMPDIR
  
--- 1269,1282 ----
                  echo "$IA32_IHV_WS: not found"
                  args_ok=n
          fi
  fi
  
! if [[ -z "$TMPDIR_ROOT" ]]; then
!         TMPDIR_ROOT="/tmp"
! fi
! TMPDIR="${TMPDIR_ROOT}/nightly.tmpdir.$$"
  export TMPDIR
  rm -rf ${TMPDIR}
  mkdir -p $TMPDIR || exit 1
  chmod 777 $TMPDIR