tune Travis CI tests (3)