use avformat as TS demuxer instead of vlc's ts