More AVI decoding stuff