Modifying travis file.