changed Travis CI settings