prefer Travis CI over Travis