The site offers alternative downloads of the video file. You should be able to watch these videos on linux with vlc or one of your favorite video players.