The /tmp on the device is too small though for anything of size. The normal way to address this to set the environment variable TMPDIR to point to a larger directory. But this doesn't work. Has anybody else seen this problem?