VLC is GPL licensed and open source. Maybe that's enough since you could compile it yourself anyway?