tune Travis CI tests (11)