Modification to travis configuration file