My /usr/tmpDSK file is 4.29GB and causing me to get warnings that my disc is 97% full. What can I do to flush/clean/reduce the size of the file? Isn't that supposed to happen periodically and automatically anyway? What might be preventing it from cleaning itself? Thanks!