[travis] no need to change remote for opam.1.1.0