testing travis - use opam from ppa instead