Eu în locul tău aș folosi Windows muvie macker, că face același lucru și plus de aia dintr-un singur clik poți seta ceea ce te interesează, urmând apoi să converteși doar filmulețul în format.gif, folosind acest site:
http://www.online-convert.com/