fix travis opam root