Might not be applicable, but there is "avifile" that seems to play some
formats, noticably divx, by using the Win32 DLL's "directly".  It's for
Linux, but I've heard positive BSD versions exist (there is a port in
FreeBSD).

http://sourceforge.net/projects/avifile
http://divx.euro.ru/

Perhaps it helps, otherwise ignore me :)

Lund

-- 
Jorgen "Lord" Lundman <lundman@lundman.net>
Technology Manager, Unix Administrator
Phone: +44 (020)8659-1860  Mobile: (07958)642-918
Pager: 07958642918@one2one.net
"Rare is the person who can weigh the faults of others 
 without putting his thumb on the scales": Byron J. Langenfeld