#913557 jenkins.debian.org: Vary setting TMPDIR during reproducibility testing?