The download page provides installers, but no md5sum or other hash? Is there an md5sum found somewhere else?