modify travis ci settings