Change in travis configuration file