> I tried to use the mysql.so.gz, which you pointed at in your first
> posting. Neither WinZip nor gzip seems to be able to open that file.
> Am I wrong in trying to decompress it?

I haven't even looked at the file in question, but I've had some browsers
automatically uncompress gzipped files for me but not remove the .gz
extension. You might just try renaming the mysql.so.gz to mysql.so and see
if it has already been decompressed. Just a hunch...