I'd prefer to tackle that in a separate PR/issue, if we change it.  I understand that this is expected to be a transient issue in Travis, and a fix is already implemented and just needs to be pushed out (which should happen any day).