It’s not hard to use libavcodec to transcode, though.