The AV output is probably from the DVD player, this would not be active if it is playing an AVI. Because there's never any AV generated, there is likely no simple way to do what you want.
Perhaps you could create a DVD containing your AVI's (but not just a disk full of files, an actual DVD...