Code style
Fall back to `tmpdir` in some weird cases where $HOME is not set