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

on Windows too.