[...trimmed text...]

Are you sure it said it was a Linux file? Or did it say it was a DivX file? DivX being a common type of video codec. This would also explain why media player couldn't open it, since you would need to ... Login to read more.