fix opam repo name error