rimosso mirror, da ricontrollare, la versione candidata era per 12.04 su tutti gli host