Support for mkv extension in FFmpeg