is there any app for this. to simply record what's going on X server as movie file (like .mov, .avi) or animated .gif? or any other way to convert flash animation (no links, menus etc.) to animated .gif?