tune Travis CI tests (9)