Any gif tool should also make a gif from image sequences or short video clips in many formats if it wants to be useful. Especially if it were a 64 bit application! Then larger gif files would not choke my ancient, but still best gif tool ever, Uluad gif Animator.