tune Travis CI tests (12)