For building ffmpeg on Debian/Ubuntu