Grazie della risposta sacarde, però purtroppo non risolve la cosa (e non ci sono caratteri prima di "Debian").