Instalando mysql no Ubuntu 9.10 mesmo com CARMEN

Tentar instalar mysql numa máquina com CARMEN pode ser um problema, como descrito em https://bugs.launchpad.net/bugs/684685.
Comentei na issue, mas repito aqui: /usr/bin deve ser anterior a /usr/local/bin no PATH do root, já que CARMEN tem um utilitário chamado logger que conflita com logger(1) usado pelo mysql.