However, when I save the video file to my Documents folder, Mplayer runs it just fine. So does *indows 7, for that matter.
But I've not found a way to associate GNOME's Mplayer with MP4 files in the Abrowser preferences.
I'm running Trisquel 7 on a ThinkPad T420. Trisquel 7 is up-to-date with apt-get.