Fix opam2web checksum