modify travis configuration