AVI is very old, they should be able to include FFmpeg with Biab, if they can't encode direct then use the command line to encode the avi to mp4:
‘ffmpeg -i input.avi -c:v libx264 -preset slow -crf 19 -c:a libvo_aacenc -b:a 128k’