Comparing non-matching versions of FFmpeg and MPlayer is a waste of time. Probably there was a bug in FFmpeg that was fixed somewhen in-between February and June.