Hi Ivan,

thanks!

I've pushed that patch to guix master as a5c72da46c302511ef77f02ed9725e701ab82687.