Android: New video demuxer for improved playback

Loaded this onto a FireTV.

Have a problem with DVR recordings, if I fast forward or rewind everything breaks up from that point forward - also, typically when trying to play something new I just get a spinning circle.

From experimentation this seems to be caused by interlaced files, eg 1080i or 576i which is what is broadcast here in the UK on DVB.

Progressive 1080p etc seem OK so far.

If you need an example file let me know.