Change TMPDIR to avoid problem with hint’s temporary files