il codice preso dal cvs non sono assicurati
riprova a scaricare il giorno dopo e probabilmente tutto funziona.
la cosa strana è che l'opzione nella lista c'è e quindi non dovrebbe dare problemi.
l'unica cosa che mi viene in mente è che potresti avere due automate sul hd uno vecchio e l'altro è la 2.57.