Com'è che hai risolto?
Ah, dimenticavo: periodicamente dai da shell un bel "apt-get update" e poi "apt-get upgrade": spesse volte ci sono aggiornamenti che risolvono problemi!