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

[karogyoker999]

It seems to me that the libz3-4 package was compiled with SSE2 turned on.

$ objdump -d libz3.so.4 | grep pxor | wc -l
2896

$ objdump -d libz3.so.4 | grep movq | wc -l
26380