Fix deprecation

* fix deprecations
* local opam file