Really fix opam2web checksum ...