tune Travis CI tests (7)