change mkvinfo output extension