I need to download this and encode something with it to check if my DVD player recognizes it... it plays Divx, XVid and a few other formats, but I have no idea about that one...Edit: err, are there any binaries of that available? I can only find sources...