md5 sum for libgmp.zip:
8de87b10c3e81b75b1e0691a77a63ab3