se convierten co ffmpeg

si no esta 

apt update 
apt install ffmpeg

entrar en la carpeta y por bash(terminal )

.AVI a mp4


for archivo in *.AVI; do  ffmpeg -i "$archivo" -c:v libx264 -c:a libmp3lame -q:a 2 -b:a 192k -max_muxing_queue_size 9999 -movflags faststart -strict -2 -preset medium -profile:v main -level:v 3.1 "${archivo%.AVI}.mp4"
done

CAMBIANDO .AVI POR LA EXTENSION CONVIERTE CASI CUALQUIERA