Issue #131: use system tempdir