Ao fazer uma tarefa totalmente diferente ( git clone
something), tive um erro semelhante (desta vez foi undefined symbol: __gmpn_cnd_add_n
).
E este post me ajudou: link .
Você basicamente precisa remover sua versão personalizada de ligmp
executando
rm /usr/local/lib/libgmp.so*