Fix the Travis script to work with opam 1.2