opam-pin: Some more changes