did you get vlc player to actually work? it doesn't actually play videos for me in easy debian (unfortunately)