travis: more fixes for opam