Short bash script to convert mkv files to mpg using ffmpeg