Hi Guix, I've rebased Ludovic's patch on master (08d8c2d3c08e4f35325553e75abc76da40630334), resolving merge conflicts. Make and make check succeed, except for tests/cve.scm and tests/swh.scm. For completeness, I've attached the logs of the failing tests. I don't think they rare related to the changes in the patch, though. I most likely won't have time to test and complete this patch in the near future. On an unrelated note, I've changed e-mail addresses due to excessive spam-filtering -- Maxime Devos PGP Key: C1F3 3EE2 0C52 8FDB 7DD7 011F 49E3 EE22 1917 25EE Freenode handle: mdevos