modifying travis settings file...