Convert to using .tmpdir instead of a hardcoded /tmp, so this works
on Windows too.