Fix weird Not_found exception during 'opam upgrade'