At times, video files are encoded in a webm format. The webm format was introduced sometime in 2010 enabling support to embed it within HTML 5 files.
If you want to convert video from the webm format to mp4, you can use ffmpeg as follows:
$ ffmpeg -i video.webm video.mp4