Travis: Install the real ffmpeg