Você tem várias opções:
- reconstrua um pacote de código
ffmpegrecente para obterlibavcodec57& co. - atualize para o Ubuntu 16.10, que possui
libavcodec57; - siga a abordagem do pacote VLC, que é incorporar a versão apropriada de
fmmpege usá-la.
A última abordagem é a que eu recomendaria; para começar:
sudo apt-get install devscripts
dget http://httpredir.debian.org/debian/pool/main/v/vlc/vlc_2.2.4-8.dsc
cd vlc-2.2.4
CC=afl-gcc CXX=afl-g++ dpkg-buildpackage -us -uc
Isto lhe dirá quais outros pacotes você precisa instalar (se houver). Se você não quiser usar dpkg-buildpackage , veja pelo menos debian/rules para as opções de configuração relevantes.