You can use ffmpeg to convert webm to mp4 on the command line very easily:
$ ffmpeg -i file.webm -c copy file.mp4
This will stream copy (re-mux) and avoid re-encoding.
Tags: cli, ffmpeg, webm, mp4, convert, video, motd