update Travis CI handling