Hi, pushed that patch to guix master as commit 969811ad0e51adcbf503e38d9c9265814e3c2e27.