Surprise, here's a one liner for converting your mkv to mp4

for f in *.mkv; do ffmpeg -i "$f" "${f%.mkv}.mp4"; done