Perdonami Davide, hai perfettamente ragione. Sono un ancora un novizio di Linux e mi "eccito" facilmente. Avrei dovuto aspettare e informarmi meglio, non ero a conoscenza di quel comando e ignoravo l'esistenza di bugs.debian.org. Grazie per la tua risposta. -- Matteo Bini