I'm trying to stream media from my windows 7 PC to my chromebook. I followed the instructions on this page to set it up, but I'm having problems with avi files. mp4 files stream properly, but avi files are downloaded, not streamed. Does anyone know how to fix this problem? Thanks in advance!