pkgsrc/multimedia/divxplayer/files