Hi, I just saw that we have some patches on Gentoo Linux, which are not yet merged upstream. https://github.com/gentoo/gentoo/tree/master/sys-devel/dev86/files They fix for example a bug with clang. https://bugs.gentoo.org/show_bug.cgi?id=523096