More minor AVI decoding stuff