Ffmpeg batch convert linux avi to mp4