video media-video@gentoo.org 64-bit binary codecs for MPlayer