more sophisticated travis config