Oh, and I can do the 5.1 to stereo conversion in FFmpeg proper, so I downloaded the source for for FFmpeg 0.5 and FFmpeg2theora but I'm not sure what FFmpeg2theora is doing differently.