Hi Brice, pushed this patch to guix master as commit 3d3185b54448cb44fffc1badc8c1cf51bb76585d. Thanks!