Update with OPAM stuff