I don't see GIF in the list of output formats. Does anyone know a way to add GIF format to the list? Thanks