Reported as <https://github.com/sgimenez/laby/pull/68>

diff --git a/build b/build
index 992a9e3..0df74d9 100755
--- a/build
+++ b/build
@@ -7,7 +7,6 @@ source build.conf || exit 1
 
 export PREFIX=${PREFIX-/usr}
 export DATADIR=${DATADIR-${PREFIX}/share}
-export TMPDIR=${TMPDIR-/tmp}
 
 export PROJECT_NAME=${PROJECT_NAME-unknown}
 export PROJECT_VERSION=${PROJECT_VERSION-unknown}
diff --git a/src/config.sh b/src/config.sh
index 19d4160..9338aad 100644
--- a/src/config.sh
+++ b/src/config.sh
@@ -29,5 +29,4 @@ let build_ocaml = "${OCAML_VERSION}"
 let build_lablgtk = "${BUILD_LABLGTK}"
 let build_lablgtk_sourceview = "${BUILD_LABLGTKSV}"
 let _ = Res.sys_data_dir := "${DATADIR}"
-let _ = Res.sys_tmp_dir := "${TMPDIR}"
 EOF
diff --git a/src/laby.ml b/src/laby.ml
index b77f2b2..e17acb9 100644
--- a/src/laby.ml
+++ b/src/laby.ml
@@ -48,6 +48,7 @@ let opts =
 
 let _ =
   Printexc.record_backtrace true;
+  Res.sys_tmp_dir := Filename.get_temp_dir_name ();
   Run.init
     ~name:Config.project_name
     ~conf:(conf, ["conf"])
-- 
2.34.1

a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=ca79fc5b14ab3e0c98221fb55bc29cfa54973363'>refs</a><a class='active' href='/guix/log/etc/substitutes/berlin.guix.gnu.org.pub'>log</a><a href='/guix/tree/etc/substitutes/berlin.guix.gnu.org.pub?id=ca79fc5b14ab3e0c98221fb55bc29cfa54973363'>tree</a><a href='/guix/commit/etc/substitutes/berlin.guix.gnu.org.pub?id=ca79fc5b14ab3e0c98221fb55bc29cfa54973363'>commit</a><a href='/guix/diff/etc/substitutes/berlin.guix.gnu.org.pub?id=ca79fc5b14ab3e0c98221fb55bc29cfa54973363'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/etc/substitutes/berlin.guix.gnu.org.pub'>
<input type='hidden' name='id' value='ca79fc5b14ab3e0c98221fb55bc29cfa54973363'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=ca79fc5b14ab3e0c98221fb55bc29cfa54973363'>root</a>/<a href='/guix/log/etc?id=ca79fc5b14ab3e0c98221fb55bc29cfa54973363'>etc</a>/<a href='/guix/log/etc/substitutes?id=ca79fc5b14ab3e0c98221fb55bc29cfa54973363'>substitutes</a>/<a href='/guix/log/etc/substitutes/berlin.guix.gnu.org.pub?id=ca79fc5b14ab3e0c98221fb55bc29cfa54973363'>berlin.guix.gnu.org.pub</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/etc/substitutes/berlin.guix.gnu.org.pub?id=ca79fc5b14ab3e0c98221fb55bc29cfa54973363&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-07-10 00:11:00 +0200'>2020-07-10</span></td><td><a href='/guix/commit/etc/substitutes/berlin.guix.gnu.org.pub?id=d283bb960f927dd5f7bb8b96bc697221e4e8ad39'>maint: Remove traces of "berlin.guixsd.org".</a><span class='msg-avail'>...<span class='msg-tooltip'>The guixsd.org domain is no longer advertised since before in 1.0.0
release in May 2019.

* etc/substitutes/berlin.guixsd.org.pub: Rename to...
* etc/substitutes/berlin.guix.gnu.org.pub: ... this.
* etc/substitutes/ci.guix.gnu.org.pub,
etc/substitutes/ci.guix.info.pub: Adjust accordingly.
* gnu/services/base.scm (%default-authorized-guix-keys): Likewise.
* guix/build/download-nar.scm (urls-for-item): Likewise.
* guix/self.scm (miscellaneous-files): Likewise.
* Makefile.am (dist_pkgdata_DATA): Likewise.
</span></span></td><td>Ludovic Courtès</td></tr>