Prezado Glauber, bom dia. Obrigado pela dica, mas deu outro erro na instalação. Desisti. Essa atualização não deveria ser automática como pacote do Ubuntu? -- Paulo Brito.