Bash script to batch convert .mkv files to .mp4