feed MediaCodec output to ffmpeg. Audio seems to sort of work. Video no good