I assumed so as well. Unfortunately as explained above the fan doesn’t react at all to different CPU loads, leading the CPU to throttle during compilation.
Well so far it does (unfortunately) nothing. :-/
Well one theory was that the throttling caused the segfault and thus the idea to manually try to speed up the fan (which didn’t work). Thus so far we couldn’t verify this theory. If you have an idea for another cause and how to test it, let me know. I’m kind of frustrated by now… 