back to separated options for Travis CI