OK, I might as well answer my own question. I really like http://screencast-o-matic.com which is a web app that records your desktop to the mp4 format. Since its a web app, its also cross-platform so I can use it in Linux or Windows if need be. Barring that, I hear gtk-recordmydesktop is good to.