Hi Leo,

> Then your patch works!

ok!

Pushed to guix master as commit f523eaba7b5460937a230a824550243d75e5f1dc.