it seems that the md5sum for the tar.gz distribution is incorrect.. A mistake or something more serious?