SimpleScreenRecorder, a screen recorder for Linux