Konrad, is this bug report still relevant? I suspect not, since it seems to have been solved by switching to a more recent version of guix 3 years ago. The bug: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=26981 If I don't hear back I'll assume it's safe to close this.
-Robert
