travis: fix with opam 1.0 installability test