gtk-RecordMyDesktop is a pretty good program, although it encodes it in Ogg Vorbis, so you might want to encode it to something else when it's done.