note on installing deriving through OPAM