simplifying travis config