Ciao Carlo,
hai ragione. Allora per ovviare al problema temporaneo esegui questo comando da terminale:
sudo ln -s /usr/lib/x86_64-linux-gnu/libpoppler-qt4.so /usr/lib/x86_64-linux-gnu/libpoppler-qt4.so.3
Prova e fammi sapere.
Funzialità e ricerca bug