Remove gmp-5.1.3 checksums