Doesn't GStreamer mostly use ffmpeg plugins?