 o atualizador GUI do 18 insiste em falhar. Entao, após receber o aviso de nova atualização, eu uso dois comandos: apt update e dist upgrade. 
 resolvido