Dear all, I saw MPlayer has additional sub-directories such as libmpdemux/ for demuxing the stream. Therefore, I wonder which exact modules of FFmpeg will be used in MPlayer. Thanks a lot!~ BR,