avs2pipemodやffmpegもあるし、いまどきavs2aviを使うことってあまりないね。