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.