Christian Biere - 2006-11-21

Updated patch to use $TMPDIR.