updated TravisCI settings