I just installed the ports linux_divxplayer and avifile, but neither one seems to do anything. What is the command to actually play a movie in these programs? I can't find anything remotely close. Thanks Chip