fix opam remove procedure