Seu libarb.so
não está no caminho da sua biblioteca. Verifique sua variável de env LD_LIBRARY_PATH
. Às vezes ajuda a correr
ldconfig
especialmente se você instalou a biblioteca manualmente.
E sua segunda pergunta
O arquivo ausente /usr/lib/libflint.so
faz parte do pacote libflint-dev
Portanto
sudo apt-get install libflint-dev
Por quê? Por isso.