Как обновить lib, который не может быть найден

Я пытаюсь создать плеер VLC. Мое единственное отклонение с libavcodec. Это хочет 57, я имею 56.

configure: error: Requested 'libavcodec >= 57.37.100' but version of libavcodec is 56.56.101. 

Таким образом, я пошел для захвата ppa от кого-то, у кого есть он

sudo add-apt-repository ppa:ricotz/experimental sudo apt-get update sudo apt-get install -y libavcodec57

Круто. Теперь это установлено. Я работаю ./configure снова, но я все еще поражен тем же предупреждением. Что я делаю неправильно? Я не могу удалить libavcodec56, потому что это, кажется, не существует нигде. Я даже получил способность GUI только для проверения дважды, и я не могу найти его.