manifest: Use the right checksum for gmp