Bug#1020802: libz3-4: Xorg crashes on startup due to illegal instruction (SSE2) in libz3-4

[Bernhard Übelacker]

Hello Karo, hello Dill,
I tried to carry this issue to the llvm people, if it
might be possible to drop libz3 linking of libllvm at i386.
This should mitigate most visible issues,
but I am not sure what the downsides would be.

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1021926

Kind regards,
Bernhard