Si mal no recuerdo, en los paquetes debian multimedia (www.debian-multimedia.org) hay versiones de 64 bits para los conversores de video. Creo que es lo que te puede ayudar.