opam note installing properly