Linux desktop recorder based on mplayer