adjust travis to reflect changes in opam