Desculpe por voltar tão tarde, mas finalmente consegui resolver esse problema para mim ...
Com o Ubuntu, você precisa remover completamente o Firefox primeiro do seu sistema antes de reinserir plugins para limpar os arquivos conflitantes que sobraram de instalações anteriores.
1) Remover o Firefox e todos os plugins instalados anteriormente através do gerenciador de sinápticos é a maneira mais fácil de fazer isso
2) Reinstale o Firefox, o gecko-mediaplayer e todas as dependências associadas.
E é isso, a reprodução divx deve estar funcionando para você. Ainda não consigo procurar a faixa, nem mesmo para as partes do vídeo já armazenadas em buffer. Não tenho certeza, mas acho que isso é uma falha na reprodução do divx no linux; se alguém tiver a solução para esse pequeno problema, sua opinião será muito apreciada.