Convierta GIF animado a video en Linux Server mientras conserva la velocidad de fotogramas

¿Cómo convierto un gif animado a un video (por ejemplo, h264 @ mp4) mediante programación en un servidor Linux? Necesito esto para procesar el contenido generado por el usuario que debe salir como varios formatos de video definidos; por lo ...