I: change travis configuration file