Travis: no longer use ||, which travis-ci misunderstand