Ver vídeos .3gp com som

Alguns vídeos gravados a partir de telemóveis, com a extensão .3gp, estão codificados com um formato de som proprietário. Como tal, a sua audição torna-se impossível a partir dos pacotes da Debian. No entanto, existe uma solução (ranhosa, mas até encontrar uma melhor, é a que fica aqui):

# vim /etc/apt/sources.list
Adicionar a linha:
deb http://www.debian-multimedia.org testing main

Seguidamente, fazer:
# apt-get update
# apt-get install ffmpeg
$ ffmpeg -i ficheiro-original.3gp -f avi -acodec libmp3lame ficheiro-de-destino.avi
E pronto, já está.

Para "limpar" o sistema de novo, basta fazer:
# apt-get remove --purge ffmpeg libamrnb2 libamrwb2 libavcodeccvs51 libavformatcvs51 libavutilcvs49 libfaac0 libfaad0 libgsm1 libimlib2 liblame0 libswscalecvs0 libx264-55 libxvidcore4 # (ou as dependências que o ffmpeg trouxe atrás)
# vim /etc/apt/sources.list
...e apagar a linha que foi adicionada.

E o vídeo deve estar pronto a ver, com um simples
$ (g)mplayer ficheiro-de-destino.avi