Il pacchetto segnalato da Fermat è quello corretto.
Non serve riavviare.