travis configuration file fix