Can someone at least confirm this behavior?
I also did the installation from source but the problem is still there.
Emulator works fine, except Z3 memory reported as defective.