ogm2avi

Hola listeros: Estoy buscando alguna utilidad para pasar ficheros ogm a avi (aunque sean varias, creo que haría falta una para extraer el audio, y otra para pasar de ogg a avi, o algo así). ¿Alguien conoce alguna utilidad? Ya he buscado en google. Me salen utilidades para win, pero para linux no he encontrado nada. Necesito pasar a avi, puesto que el reproductor DVD del salón sólo reconoce este formato... Muchas gracias de antemano. Saludos, Beto