add opam file for pinning