modifying travis script