updated TravisCI configuration