failed to load plugin "primus-symbolic-executor"

[anzosasuke]

Im getting this error in bap 2.5.0

Failed to load 1 plugins, details follow:
The plugin `/usr/local/lib/bap/primus_symbolic_executor.plugin' has failed with the following error:
Failed to load z3ml: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure(\"/tmp/z3ml677f53.cmxs: undefined symbol: Z3_mk_u32string\")")

[lion10]

Temporary Solution
If you are not planning to use the symbolic executor, you can temporarily disable it by renaming the plugin file. This prevents it from loading and causing errors:

sudo mv /usr/local/lib/bap/primus_symbolic_executor.plugin /usr/local/lib/bap/primus_symbolic_executor.plugin.bak