MD5 of official Singular 4.0.1 release