modifying travis ci setup