- Consider different possibilities for tmpdir. Related to #6631.