It should all kind of come together, but I can't recall and have no way to test it nowadays.
To clarify, x264 is an encoding tool for encoding videos in the H.264/AVC format. From what you posted earlier, it sounds like you encoded with XVID (the H.263/DIVX format), and that would be the reason it was put into an AVI container.
Bookmarks