I am looking for a screen recorder for Ubuntu 12.04,any recorder besides:

* Ezvid
* Kazam Screencaster
* RecordMyDesktop
* Ice Cream Screen Recorder
* SimpleScreenRecorder
* vokoscreen
* Webcam Studio
* XSplit Gamecaster
* ffmpeg

About ffmpeg,I'm not really sure how to install it. I am going to be recording Minecraft, so it should be capable of recording fluently without high resource usage.