modify travisCI config