[MPlayer-users] Re: changing aspect ratio in avi without reencoding