Hi Konrad, Thanks for looking into it. I’m currently testing a modified version of the patch that uses GCC in stdenv (instead of Apple’s GCC). I’ll make sure to test as much as possible before committing. :-) Ludo’.