converter gif animado em vídeo no servidor linux, preservando a taxa de quadros

como faço para converter um gif animado em um vídeo (por exemplo, h264 @ mp4) programaticamente em um servidor linux? Eu preciso disso para processar o conteúdo gerado pelo usuário, que deve ser exibido como vários formatos de vídeo definidos; ...