tune Travis CI tests (13)