BIG-4045: use sys_get_temp_dir() rather than hardcoding "/tmp"