Fix Travis build with OPAM 1.1