travis: update after pin to pick up custom opam file