Fix 'opam-mk-repo -a'