Hi. I did an apt-get update and got the new versions of some sound-related files... And it's working now.
J. -- Jeronimo Pellegrini Institute of Computing - Unicamp - Brazil http://www.dcc.unicamp.br/~jeronimo mailto:[EMAIL PROTECTED] mailto:[EMAIL PROTECTED]