tune Travis CI tests (4)