Re: DivX 4.0 (=?iso-8859-1?q?f=FCr?= Linux)