opam install with -t option on Travis