Improve opam-mk-repo message when it fixes a checksum