reverted: Travis CI to almost the default