local opam files

so that pinning is possible