Does anyone have any recommendations for creating footage of openGL games on linux? I’ve tried recordmydesktop and xvidcap but I’ve basically wasted two days trying to get sound and a decent frame rate out of them!