Simple bash script to convert video files to mp4