ffmpeg demuxer: faster channel change for PVR addons without internal demuxing