O aplicativo que eu uso e adoro para a gravação do jogo é SimpleScreenRecorder.
Tem pouco uso de recursos e grava vídeo e som, e como o próprio nome sugere, é muito simples de usar.
Para instalar o simpleScreenRecorder vá até um terminal pressionando ctrl + alt + T e execute estes comandos:
sudo add-apt-repository ppa:maarten-baert/simplescreenrecorder
sudo apt-get update
sudo apt-get install simplescreenrecorder
note se você deseja gravar aplicativos OpenGL de 32 bits em um sistema de 64 bits, execute este comando também:
sudo apt-get install simplescreenrecorder-lib:i386
Note2 o gravador openGL ainda é experimental, mas roda muito bem e sem problemas.