Comment 3 for bug 1511701

We'll set tmpdir to system/user default when it is not specified.