deve avere problemi la debian lo fa anche a me a volte proprio non riesce a risolvere i nomi

speriamo risolvano velocemente