PHP: FFmpeg extension requires ffmpeg headers available only when built from sources.